x600

I was looking at buying a Deskmini X600 with 8700G. However I've just seen the BD770i from Minisforumn which give a system for a similar price (need case & PSU). Or even a DB790i for a small uplift. Looking at the few benchmarks I can find, the 7745HX seems to be the faster chip for compute ...