I have consulted my other half (an experienced optometrist). This should be covered by the NHS under a GOS eye test. If the optometrist feels that a referral is necessary then student would be referred to an NHS paediatric eye clinic at the nearest appropriate hospital. This too would be free.
Hope that helps.