I have just found a company that prints bound copies of the Pentax K3 manual for those who find the supplied version rather on the small size. O.T.C. Ltd Tel. +44 (0)1707 273773 between 9.30 and 5.00 UK time Monday to Friday.
Pentax K 3 Camera Manual
They will send you a properly bound copy of the original manual in any of the following sizes: A6 - A5 - A4 for £11.95 (for any size) plus £2.40 post (for any number of copies).
For and additional £1.75 one can opt for a spiral bound version (again in all sizes).
I hope this will be of use to some of you.
V.A.