Oh, we are original owners of our house. So I have our DW manual, including installation instructions. Just assumed that manuals showed options for it to be plugged or hardwired, depending on local rules. Looks like our 1993 DW is probably hardwired. Per a quick google check, CO code says it needs GFI protection (I think ours does). And also hardwiring allowed only if recommended by the manufacturer.
Conclusion: If we replace our DW, we may have more complication that just deciding on brand/model and color 