Oops, My bad! In that case, you are likely correct on this one! However, I would be interested to see what other good shooter players competing on this game would do to the WR. You never know, maybe it would push the record up to something ridiculous like 12 hours! Just look at the 5-man Q*bert record. If there were 2 more George Leutzes, maybe his 3.9m score (which, as of right now, seems ridiculous) may actually be nothing! All the rarer wrinkles of the game might be more quickly perfected. The same could potentially happen for DK3.
Edit: I say '12 hours' because a game of DK could actually take about 1hr and 15 mins; so about 18.75 minutes a man. 37 x 18.75 is just over 11.5 hours.