A Colorado mansion with a lake and even its own 50s style diner can be yours for $7.5 million