Laptop might only need 1.5A but its wall wart charger is very inefficient. Between the wart losses and inverter losses I wouldn't be surprised to see 2.5-3.0A drawn from inverter. And it gets worse if you want to charge it - the battery losses come into play. In the end, if you are spoiled and want everything wireless, it may cost you 4-5 AH daily to charge the laptop battery, more when it's getting old.
My LP fridge, few LED lights and pump draw 20-25 AH, detectors draw next to nothing. 5 AH would be a significant correction to this budget. Not that I personally am worried about this, with 500W solar harvesting about that much even when it rains all day.
