I wouldn't have thought so, but I wouldn't put it past them either, especially as you were cheeky enough to take it to a place that doesn't fleece you. The oil filter isn't changed at 7,500 either, just the oil, it's not changed until the 11,500 service. Long time, but maybe that's down to the oil not actually getting that dirty because its only in the bike for 10 minutes before it needs changing again...