I managed to sell the HP after acquiring a (somewhat) smaller and (much) lighter Philips counter which also uses a 500 Mhz reference clock so it can do more countings per counting. So I only very briefly had two. Glad it didn't exponentially escalate at that point: https://i.imgur.com/NCKDQEh.jpg

In my defense, the total cost of these counters (you can see them here: https://tomverbeure.github.io/2023/06/16/Frequency-Counting-...) was $160.