On the other hand, if you want to prove it to yourself look up the Mecklenburg County tax records (which are available online) to get his address, then look at the MLS... should be easy to prove it to yourself.

Edit: This is of course unless Smith was smart enough to list his house under someone else's name.