educational building repair