Lucas has 15 pet toys and he buys 25 more. Each pet needs 4 toys to be entertained. How many pets can Lucas entertain with all the toys he now has? Let's think step by step and output the final answer within \boxed{}.
user