Using medium settings at 720, the HD4000 scores 2136. Source: http://youtu.be/Q7am5CfPBRs

You can also load the benchmark onto a usb stick and test it out on laptops at the store since it is not an install. If you are that tight on the laptop budget, it would be a desperate measure, but I wouldn't recommend it.