Well I have good news, and bad news.
Good news: I can tell you exactly the specs of the belt. It should be 124.7” long, this is the 1247 in the part number, K6 being 6 ribs. I still have the I install manual for my Whipple and it’s listed in the parts as well as in the pulley options matrix...