We show that arithmetic lattices in SL2pRq, stemming from the proper units of an Eichler order in an indefinite quaternion algebra over Q, admit a 'small' covering set. In particular, we give bounds on the diameter if the quotient space is co-compact. Consequently, we show that these lattices admit small generators. Our techniques also apply to definite quaternion algebras where we show Ramanujan-strength bounds on the diameter of certain Ramanujan graphs without the use of the Ramanujan bound.c They state their theorem with exponent 7.68, though their method gives 5.12 `op1q. In turn, this can be halved again by replacing their final argument by the argument in this paper.