Just checking-in to this thread and offering a hand. I have almost a decade of experience with mellanox ethernet switches through most generations. I have rebuilt (primary SSD swap) / converted OSes the switches from basic ONIE to ONYX primarily (the the prices is the same for most OSes). I also built a wizard that can create (through simple prompts) a myriad of configs for ONYX specifically.
I have SN2010, SN2100, SN2410, and SN3700c in the field. I do have SX1012s but I don't think about those much since they don't run onie.
Anyway, happy to answer questions. Would love to meet people that might be able to collaborate on some of my own projects (playing with switchdev).