I bet they do have comprehensive insurance, but their insurance company told them that this is a collision loss. Just read my policy, which is written by a very large insurer -- and this would, in fact, be a collision loss under mine.