Just to reply to myself, as I googled around with no clear answer -- I ended up ordering one, and it works fine in my Lenovo SR635! Marked "proto" which is odd, but at around $80 (paid £66 inc vat) for 2x10Gb it is by far the cheapest I found.
Oh, remember to *enable* OCP in the BIOS -- it was disabled on mine and the card wouldn't show up. I might even have been the one to disable it in the first place but, hey oh