Mike, the horizontal DeVere would be the go for a school environment, you don't need a high darkroom, just one that is about 5 metres long (or less).
The actual enlarger itself, on the trolley arrangement, is about 1.6m long by about 1m wide and the lens is sitting around neck height (to me). Geez, it should work in a 4 metre room.
Remember it has a 360 5.6 Apo lens, this is more or less, the best lens money can buy.
Ps:- worth a trip to the city at least!