Yep. That was my very first "real speaker purchase".
I bought them at Best Buy around 1994(ish).
They lasted until 2007. That's when one of the woofers went out. I was super bummed out. I really liked them. I didn't know much about speakers then, so I threw them out and bought a new pair (this time going with some Polk bookshelves - I forgot which ones now).
Those 4.2s lasted me allllllll the way through college. That says something right there - a ton of parties and late night jammin'.
Like ron31707, I believe a paid around $400. But for some reason, my memory is defaulting to $350.