Just out of curiosity, has anyone ever figured out which models are the most expensive to service? Surely the 512BB and BBi are way up on the list....