If they have Smartnet (SAS actually) o their LMS 4.0, they can order the upgrade to 4.2 via entitlement. If not, they will have to purchase the upgrade.
In both cases, they would need to add on a license to increase the device count. See Table 1 here.