As Samsung decided not to include the full user manual in the box with the i8510, here's the link to download it (and the quick start manual).
Quick Start: http://downloadcenter.samsung.com/content/EM/200809/20080901152644484_Samsung_I8510_Eng.pdf
Full Manual: http://downloadcenter.samsung.com/content/UM/200810/20081002194311437_Samsung_I8510_UM_EU_Eng_Rev.1.1_081002_CMS.pdf
EDIT: The full manual link has been updated and now works again! Thanks to Streetdaddy for the info.