I've got a paired set of 2x4GB Patriot ViperX BlackMamba 11-11-11-27 2133Mhz 1.5V DDR3 with box. New, tested but otherwise unused. How much should I list these for?

Fully working, but they're taller than I thought so sit close to my stupidly large cooler. I'd prefer a bit more separation. They're not overly tall - just my mobo is old and the ram slots are rather close to the CPU socket.