We said at the start that, technically, the proper chord to use is a 7b5 but one can use the ordinary dom7s as well. It's often done.

Take a 12-bar blues. The straighforward chords are usually 'jazzed up' by playing 13ths, 9ths and #9s like this: