Shell scripting

Having text file records.text

David 3000
Leo 4000

How can update salary of David which is 3000 to 4000 using awk, I want the input be from the user, e.g adding 1000 to 3000

As always... what have you tried so far and where exactly are stuck?