Yes I wondered about the pride disparity .
Reading the news article it seems the original listing somehow didn’t include all of the main house (think they’d split some of it into flats?), or any of the lodges / outbuildings.
£7.5m is for everything. Still sounds like it’s too much, all considered.