Oh, one other thing I forgot to mention. If you do buy, you could do worse as preventative maintenance than to replace the timing belt. At 100K it's likely it's either never been replaced or it's been a while. Either way, replacing a timing belt is a relatively easy and relatively cheap way to ensure that things are running well.
Just my 2c... never had a timing belt break on an SVX, but I have had one break on a Honda. That wasn't pretty