I think its highly unlikely that JRX will come up for sale in the forseeable future. The current owner bought it in 1989 from the original owner. It's totally original with only 49000 miles on the clock. The only items that have ever been replaced are the clutch, the master cylinder and the wheel cylinders.
The good thing is that he does take it out to shows. It will be at Tatton Park in August and The Ivan Hirst Meeting in September.
We'll all just have to enjoy it that way!