So I have been looking through some online stuff and I noticed companies like System76 and Dell sell really high end Linux machines. Is this more of the premium PC market that Paul talks about? What is the advantages of these machines over others. Spend all that money when you can just run Linux as VM.