Aspen is the real deal and the right thing to do. But in Oz I suspect its approaching $20k to install.
The SN3500 seems to be a big improvement over the SN3308. But new its about the same cost as an Aspen to install. They seem to be about $3.5k secondhand vs $1.5k for a high ser no 3308 with the up to date software.
So, I'm thinking that the Sandel SN3308 might be a cheap / easy option if the daylight readability is OK.
A 3 pack of bulbs seems to be $100. I'm a bit confused about the replacement requirements. At launch it despite to rated 400 hour life, replacement was supposed to be 100 hours or annually. There was supposed to have been an amendment to extend this and now there are "long life" bulbs. It would seem to me that every second year which would be less than 200 hours for me would be reasonable. I struggle to see that bulb replacement is the drama its painted to be.