Of course. Small Claims process in the UK has a fee of about 10% of claim value and covers claims up to £10,000. If you win the other party has to repay those fees. No legal fees allowed. So would be the right process here - presumably as HP are in breach of contract the laptop buyer would win a case for a claim of the extra cost of the same laptop at full price.