If he has accidental then it should be covered (I'm only assuming otherwise that warrenty isn't too good), if he has something else that can be tricky or just not possible. Usually dells have a service number or tag or something like that on them and you can go to
www.dell.com and enter that number to find what warrenty there is.