Looks like Tuxedo computers are also not very expensive, though usually last gen cpus. Looks nice!