Yes. For background, UND and ndsu were each authorized $900,000 for their president's houses. UND spent about $1.35 million (all donations) and finished an 8,300 square foot house (the old UND president's house was 8,900 square feet). Ndsu spent $2.7 million (including a relatively small amount of state general funds) on a 12,800 square foot behemoth (the old ndsu president's house was 4,500 square feet), with an unfinished 3,900 square foot basement, to be completed at a future date when funds become available (perhaps it's done now?).