Their site does have IFC for that project tho and I've loaded it in Bldrs, so seems fine there.
Yeah, IFC is neat. It's actually a dialect of STEP, so able to carry the geometry and tons of BIM metadata. We've estimated the spec is ~7k pages printed. It's like an abstract toolkit for working with building codes
Happy to chat more too. We have our project Discord and DMs on Twitter