My first choice is in fact the RHS heads, but since I live in the netherlands, and these heads are for sale locally, I can save a huge amount on shipping, but my guess was these are truly too small.
btw, the seller wants 1050 euro's for them, which is about 1450$, but then I also need other...