Thanks! That's actually exactly how we do it right now, based on the techniques in OSM Buildings actually. Ideally I want to infer height from area and building type if no height-based tags exist. I have a proof-of-concept working.