Has anyone used the Red Hat Workstation? Does it seem good, bad, or just a basic Red Hat product with a higher price tag? Many thanks, Shawn