You're right. I'm not sure what the official ruling on this should be. Ultimately, I don't care all that much either way, as it seems unlikely that this record will ever be broken, as people don't exactly run this category (or game) anymore. =p

Should do pre-WOTL runs next to really beat the dead horse.