I am looking at purchasing a house in Colorado. The owner is saying the house is twice as large as the public records show - that is because the basement area has been built in with doors & walls, etc. When determining the appraisal value of the house is the public record the correct size of the house?