Unless shes doing a masters or phd she wont need a laptop that can run solidworks To full potential anyway.
Hell i studied courses in conjunction with the product and interior design students at my uni – im surprised they could dress them selves in the morning !
We could get on a solidworks/ansys/autocad/pro engineer equipped computer at anytime of day or night no bother ….
but if thats the brief you have been given best stick to it …obviously wants to spend the dosh …
I had solidworks running on my 1300mhz 512meg and shared graphics laptop with few issues when i was at uni – slow to start and when the models got pretty complex – i was modeling a bank auto teller at the time. it slowed down