Took a quicklook, couldn't find pricing on the 4100's elsewhere, but the 3025's which are $79.99 on that site, can be found for $48 elsewhere....
Hot Deal? Hmm...dunno. For what it's worth, back in 97-98 they cost about $300-500. Plus they have good reviews...
Appears to be good however....