If you pay licences per machine/cpu socket/cpu core, those $5k might be your cheapest option.