I agree. In casual play you can rely on veteran players to know their stats. If they’re the type to lie intentionally then they can leave the table. If they’re making mistakes then maybe something goes a little too easily, oh well. The best DMs i had didn’t give a shit and focused on rewarding players for learning.