I want to get those mini boards but they have been out of stock for a while. I finally found the heat sink alligator clips, They are called something else, just couldn't figure out what to type in the search box.
I found a guy on ebay, whom I think is on here who is selling a similar daughter board for the 3pdt switch so I bought a few of those to try out. I was checking out the market and saw a guy was selling the red boards and I ended up finding the seller on ebay so I bought 5 for now to try them out.