As was indicated in my reply, unless an extremely loud level was being used, which apparently isn't the case with you, the RX-V3800 should be entirely satisfactory. A slightly higher maximum output number is of no significance if it isn't being used.

-----------------------------------

Enjoy the music, not the equipment.