For anybody's interest, and for reference only, my 9500 had a similar problem as Problem 1 5 months ago, take that back to Philips for repair, costed me round $800-900, together with changing the belt. Technician said Problem 1 was due to PSU problem in my case.
Again, this is for reference only, this one may have other problem which I have no idea.