i have an ex Bob Holden Race team short motor. It was a spare for race car. still wrapped up after rebuild. I know it has Mahle forged pistons, new rings,new bearings. Almost certainly smaller 40mm crank but i'd have to open it up and check. If you are keen I'll be asking $1500 which is above your budget.