THe 80A marking on the RCD is just the rating of the RCD itself -- It has nothing to do with the actual capacity of the service.
As John has sad, it wouldn't be a bad idea to get a test and inspection on the wiring if there are any doubts. It's not uncommon to find a few areas for concern where things have been altered like this over time.
