I run one also on my 377", but no primer system, i also don't run Ron's pump, i run a DSR pump. Ron's biggest pump only put's out 4GPM that i know of. But that wasn't the question
, they usually go for about $1,000.00 on ebay, there's a smaller 3 3/4" on RJ for $500.00 or there way last week. Anything less that $1,000.00 would be a good price with a different pump.
JMO
Zip.