Is the Edmunds price (about $41,000) right about the 525i? I was thinking that was a little low. Does anyone know?