They probably did, but you pretty much need to pay the guys behind the Guiness book for them to give you the record (there’s a form where you can apply for certain records for free, but it’s commonly disregarded by the Guiness guys afaik)